mathswitch

mathswitch — infrastructure for relaying and exchanging mathematical concepts

normal morphism

type of morphism

Wikipedia (English): Normal_morphism
Wikidata: normal morphism

Supported by the TydiForm project at the Faculty of mathematics and physics, University of Ljubljana, and the BRIDGE project at the Institute of Mathematics, Physics and Mechanics. (GitHub repository)